Visual Modeling of Object-Oriented Distributed Systems

نویسندگان

  • Holger Giese
  • Guido Wirtz
چکیده

Software engineering for distributed systems is a notoriously hard problem. While common approaches for structural modeling like object-oriented analysis and design offer several benefits, their current support for distributed system design is rather limited. The visual notations for structural modeling can be adjusted to the demands of distributed systems. The behavior modeling notations fail w.r.t. the most crucial aspects. Often the domain-specific behavior notations that have been proposed in this context for the UML neither support concurrency as needed nor do they allow to describe scalable behavior. An object-oriented design technique based on UML notations and a special type of high-level Petri-Nets that overcomes these limitations is presented. It is demonstrated how a visual design language can support the crucial aspects for distributed system design as well as how these aspects can be smoothly integrated into a single language with multiple consistent views. ( 2001 Academic Press

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modelsaz: An Object-Oriented Computer-Aided Modeling Environment

Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems

To ease the development of distributed systems, the visual notions for the structural aspects of object-oriented analysis and design should be combined with techniques handling concurrency and distribution. A novel approach and language for the visual design of distributed software systems is introduced and illustrated by means of an example. The language of OCoNs (Object Coordination Nets) is ...

متن کامل

Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Uni ed Modeling Language (UML)

Although object-oriented paradigm is becoming a more realistic approach to the development of largescale software systems, the existing object-oriented notations and methodologies do not fully support the development of distributed object systems. In this paper, we integrate Meta-Object Protocol (MOP) into a de facto standard object-oriented modeling language UML together to build a software ar...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Vis. Lang. Comput.

دوره 12  شماره 

صفحات  -

تاریخ انتشار 2001